Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
51	In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation
52	Annual Report of the UNEG Secretariat Add to Reading List Source URL: unhabitat.org Language: English - Date: 2016-02-24 06:30:49 Evaluation Impact assessment Analysis Value ethics) United Nations Evaluation Group Logic model Monitoring and Evaluation Program evaluation
53	Microsoft Word - Laying_the_Goundwork_Before_Your_First_Evaluation_Tool Add to Reading List Source URL: www.volunteerwv.org Language: English - Date: 2015-11-19 14:11:09 Evaluation Impact assessment Methodology Evaluation methods Program evaluation Impact evaluation Theory of change Logic model Evaluability assessment Empowerment evaluation
54	PACIFIC ISLANDS CLIMATE CHANGE COOPERATIVE Member Organizations: PICCC Team: • Add to Reading List Source URL: piccc.net Language: English - Date: 2015-05-22 02:55:53 Strategic management Business Strategic planning Climate change adaptation Professional studies Logic model Climatology Management Climate Change Science Program Pacific Regional Environment Programme
55	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database
56	1 2 Contents ACKNOWLEDGMENTS .............................................................................. 8 Add to Reading List Source URL: www.cefe.illinois.edu Language: English - Date: 2008-12-02 16:22:44 Evaluation Impact assessment Education Evaluation methods Program evaluation Impact evaluation Logic model Course evaluation Gang Resistance Education and Training Empowerment evaluation Joint Committee on Standards for Educational Evaluation
57	PADM 564, Page 1 Syllabus for PADM 564: Healthcare Policy & Program Evaluation Spring 2016 Instructor: Dr. Kate Cartwright Office Location: SSCO 3040 Add to Reading List Source URL: spa.unm.edu Language: English - Date: 2016-02-11 17:49:20 Evaluation Impact assessment Evaluation methods New Mexico Methodology Program evaluation University of New Mexico Logic model
58	Healthy Watersheds Consortium Grant Program \| Goals, Hurdles, & Outcomes Goals, Hurdles, & Outcomes, Additional Guidance Authors: Jared Hardner, Alan McGregor, and Peter Stangel Purpose: This document provides additional Add to Reading List Source URL: www.usendowment.org Language: English - Date: 2016-08-15 15:27:01 Water Hurdling Running Watershed management Natural resources Logic model
59	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
60	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization